PDF Document

Source URL: distribution.nbni.co.uk

Language-based Defenses against Untrusted Browser Origins Karthikeyan Bhargavan INRIA Paris-Rocquencourt Antoine Delignat-Lavaud INRIA Paris-Rocquencourt

Source URL: www.doc.ic.ac.uk

12  Supporting like-minded projects.  Providing a mutual aid network;

Source URL: www.radicalroutes.org.uk

• Business models
• Market socialism
• Structure
• Economy
• Radical Routes
• Cooperatives
• Business
• Housing cooperative
• Cooperative federation
• Rochdale Principles
• The Co-operative Group
• The Co-operative brand

On the Size of Pairing-based Non-interactive Arguments? Jens Groth?? University College London, UK Abstract. Non-interactive arguments enable a prover to convince a verifier that a statement is true. R

Source URL: eprint.iacr.org

• Algebra
• Mathematics
• Multilinear algebra
• Non-interactive zero-knowledge proof
• Proof theory
• IP
• Snark
• Zero-knowledge proof
• Zero knowledge
• Soundness
• Bilinear map
• Model theory

Sleep Deprivation and Information Integration The Effects of Sleep Deprivation on Information-Integration Categorization Performance W. Todd Maddox, PhD1,2; Brian D. Glass, BS1; Sasha M. Wolosin, BS1; Zachary R. Savarie

Source URL: www.homepages.ucl.ac.uk

• Cognitive science
• Neuroscience
• Neuropsychology
• Sleep
• Memory
• Sleep deprivation
• Procedural memory
• Motor learning
• Sleep in non-human animals
• Effects of sleep deprivation on cognitive performance
• Sleep and memory

International Journal of Robotics 36(12):1312–1340 c The Author(sReprints and permission: sagepub.co.uk/journalsPermissions.nav

Source URL: symbolaris.com

• Robotics
• Robot control
• Robot kinematics
• Control theory
• Automated planning and scheduling
• Motion planning
• Theoretical computer science
• Velocity obstacle
• Dynamic window approach
• Mobile robot
• Robot
• Lidar

Probabilistic Model Checking Christel Baier, Luca de Alfaro, Vojtˇech Forejt, and Marta Kwiatkowska Abstract The model-checking approach was originally formulated for verifying qualitative properties of systems, for exa

Source URL: qav.comlab.ox.ac.uk

• Temporal logic
• Theoretical computer science
• Probability
• Markov decision process
• Markov chain
• Probabilistic CTL
• Linear temporal logic
• Computation tree logic
• PL

24 Challenges in Deductive Software Verification∗ Reiner H¨ahnle1 and Marieke Huisman2 1 2 Technische Universit¨

Source URL: www.cs.man.ac.uk

• Theoretical computer science
• Formal methods
• Logic in computer science
• Computing
• Software engineering
• Electronic engineering
• Software testing
• Formal verification
• Runtime verification
• Software verification
• Java Modeling Language
• Verification

Syntax-Guided Optimal Synthesis for Chemical Reaction Networks∗ ˇ ska3 Martin Fr¨anzle4 , Marta Kwiatkowska2 , Luca Cardelli1,2 , Milan Ceˇ 2 Luca Laurenti , Nicola Paoletti5 , and Max Whitby2

Source URL: qav.comlab.ox.ac.uk

• Mathematical analysis
• Mathematics
• Distribution
• Functional analysis
• Markov chain

The Potential of Interference-Based Proof Systems Marijn J.H. Heule1 and Benjamin Kiesl2 1 2 Department of Computer Science, The University of Texas at Austin

Source URL: www.cs.man.ac.uk

• Logic
• Mathematical logic
• Mathematics
• Propositional calculus
• Logical truth
• Logic in computer science
• Syntax
• Automated theorem proving
• Resolution
• Frege system
• Boolean satisfiability problem
• First-order logic